Visualization Designs for Constraint Logic Programming∗ Manuel Carro Manuel Hermenegildo Computer Science School — Technical University of Madrid Boadilla del Monte

Source URL: clip.dia.fi.upm.es

CONFERENCE ON RISKS FOR PUBLIC HEALTH & THE ENVIRONMENT MAY 16th-18th, 2012, Madrid School ETS Forestry Engineering, Technical University of Madrid

Source URL: www.ensser.org

Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations? Dragan Ivanovi´c,1 Manuel Carro,1,2 and Manuel Hermenegildo 1,2 1 School of Computer Science, Technical University of Madrid (UPM), Spain

Source URL: clip.dia.fi.upm.es

The Amos Project: an Approach to Reusing Open Source Code Manuel Carro? Computer Science School Technical University of Madrid

Source URL: clip.dia.fi.upm.es

January 24, 2013 AgMIP Maize-pilot Workshop February 5-7, 2013 Universidad Politécnica de Madrid ETS Ingenieros Agrónomos

Source URL: www.agmip.org

• Maize
• UPM
• Food and drink
• Agriculture
• Technical University of Madrid

A Generic Persistence Model for (C)LP Systems J. Correas∗ , J. M. G´omez∗ , M. Carro∗ , D. Cabeza∗ , and M. Hermenegildo∗,∗∗ (∗) School of Computer Science, Technical University of Madrid (UPM) (∗∗)

Source URL: clip.dia.fi.upm.es

• Database management systems
• Prolog
• Query languages
• Deductive database
• Logic programming
• Database
• SQL
• Predicate
• Persistence
• Computing
• Software engineering
• Computer programming

Effects of Delayed RCP Trip during SBLOCA in PWR Javier Montero Technical University of Madrid, Alenza 4, 28003, Madrid, Spain Cesar Queral, Juan Gonzalez-Cadelo , jg.cadelo@a

Source URL: www.djs.si

• Light water reactors
• Nuclear accidents
• Nuclear meltdown
• Three Mile Island accident
• Pressurized water reactor
• Revolutionary Communist Party
• USA
• Three Mile Island Nuclear Generating Station
• Nuclear technology
• Nuclear physics
• Nuclear safety

Poster Thematic Presentations Paper Paper Title ID MONDAY, 23 APRIL (14::00) Pillar IV

Source URL: tra2012.traconference.eu

• Technology
• Academia
• Institut national de recherche sur les transports et leur sécurité
• IFSTTAR
• École des Ponts ParisTech
• Technical University of Madrid
• French Land Transport Accident Investigation Bureau
• Institute of technology
• Technical University of Crete
• Education
• Grandes écoles
• Université Lille Nord de France

Automatic Binding-related Error Diagnosis in Logic Programs PaweÃl Pietrzak1 and Manuel V. Hermenegildo1,2 1 School of Computer Science, Technical University of Madrid (UPM)

Source URL: clip.dia.fi.upm.es

• Logic programming
• Software engineering
• Assertion
• Debugging
• Abstraction
• SLD resolution
• Abstract interpretation
• Tree
• Logic in computer science
• Computer programming
• Theoretical computer science

Stephanie studied a five year diploma in Architecture at the Aristotle University of Thessaloniki before completing a Masters degree in Architectural Lighting Design (MasterDIA) at the Technical University of Madrid. Dur

Source URL: www.speirsandmajor.com

• Architectural design
• Architectural lighting design
• Stephanie
• Architecture
• Lighting
• Visual arts